Set function

Results: 1102



#Item
861Set theory / Function / Finitary relation / Total order / Plena / Imaginary / Constructible universe / Mathematics / Mathematical logic / Logic

PLENUM THEORY Nicholas Rescher and Patrick Grim 1. INTRODUCTION Plena are large-scale macro-totalities appropriate to the realms of all facts, all truths, and all things. Our attempt here is to take some first technical

Add to Reading List

Source URL: www.pgrim.org

Language: English - Date: 2008-01-28 13:41:12
862Digital signal processing / Dirac delta function / Fourier analysis / Measure theory / Segmentation / Watershed / Function / Calculus of variations / Heat equation / Mathematical analysis / Mathematics / Image processing

Hybrid level set algorithms for efficient and reliable segmentation Seongjai Kim∗ November[removed]Abstract

Add to Reading List

Source URL: www.ms.uky.edu

Language: English - Date: 2005-04-05 15:54:25
863Structure / Partially ordered set / Causal sets / Continuous function / Domain theory / Globally hyperbolic manifold / Spacetime topology / Completeness / Filter / Order theory / Mathematics / Physics

Domain theory and general relativity Keye Martin and Prakash Panangaden Naval Research Laboratory Center for High Assurance Computer Systems Washington DC[removed]removed]

Add to Reading List

Source URL: www.nearmidnight.com

Language: English - Date: 2012-12-25 23:16:06
864System software / Shelf / Mono / Floating shelf / Computing / Software / Furniture

Mono The Mono range is a stunning combination of function and style. It has an incredible amount of space to allow even the largest of AV set up within its slender and compact frame. Beautifully formed for the corner of

Add to Reading List

Source URL: www.off-the-wall.tv

Language: English - Date: 2014-01-28 06:38:32
865Mathematical proof / Mathematical induction / Transfinite induction / Set theory / Ordinal number / Well-founded relation / Axiom of choice / Function / Zermelo–Fraenkel set theory / Mathematics / Mathematical logic / Logic

Set Theory for Computer Science Glynn Winskel [removed] c 2010 Glynn Winskel

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2010-10-21 11:47:42
866Functional languages / Data types / Logo / Object-oriented programming / C++ classes / Function / Constructor / Subroutine / Variable / Software engineering / Computer programming / Computing

Programming As Poetry (The Power of the Simplicity in Programming) Pavel Boytchev [removed] Abstract The paper will present the result of an attempt to design a programming language with a vary limited set

Add to Reading List

Source URL: elica.net

Language: English - Date: 2006-10-30 16:01:27
867Model theory / Z notation / Functions and mappings / Constructible universe / Interpretation / First-order logic / Function / Zermelo–Fraenkel set theory / Symbol / Mathematical logic / Logic / Mathematics

Axiomatic Set Theory January 14, [removed]Introduction

Add to Reading List

Source URL: people.maths.ox.ac.uk

Language: English - Date: 2013-01-14 07:01:03
868Cryptographic protocols / Computational complexity theory / IP / Homomorphic encryption / Paillier cryptosystem / Communication complexity / One-way function / Polynomial / Oblivious transfer / Cryptography / Theoretical computer science / Applied mathematics

Efficient Private Matching and Set Intersection Michael J. Freedman1? , Kobbi Nissim2?? , and Benny Pinkas3 1 2

Add to Reading List

Source URL: www.pinkas.net

Language: English - Date: 2004-05-12 12:29:04
869Set theory / Z notation / Function / Constructible universe / Axiom / S / Naive set theory / Principia Mathematica / Mathematical logic / Mathematics / Logic

MATH CIRCLE - SET THEORY WEEKS 5-7 SAM LICHTENSTEIN It’s been a few weeks since I put notes online. Sorry for the delay! Let me try to reconstruct some of what was covered in the class since Week 5. The necessity of ax

Add to Reading List

Source URL: www.themathcircle.org

Language: English - Date: 2007-12-08 22:06:11
870Function / Mathematical proof / Mathematical induction / Finitary relation / Well-founded relation / Unification / Boolean algebra / Propositional calculus / Principia Mathematica / Mathematics / Logic / Mathematical logic

Discrete Mathematics II: Set Theory for Computer Science Part IA Comp. Sci. Lecture Notes Glynn Winskel c Glynn

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2012-02-13 09:46:14
UPDATE